package asem.ast.sentencias;

import asem.ast.expresiones.NodoExpresion;
import asem.tablaSimbolos.tipo.Tipo;
import asem.tablaSimbolos.tipo.TipoBoolean;

public class NodoIf extends NodoSentencia {
	protected NodoExpresion condicion;
	protected NodoSentencia sentencia;

	public NodoIf(NodoExpresion exp, NodoSentencia s) {
		condicion = exp;
		sentencia = s;
	}
	
	public void chequeoSentencias()
	{
		Tipo tipoCondicion = (Tipo) condicion.chequeoSentencias();
		tipoCondicion.compatibilidadDeTipos(TipoBoolean.TIPO);
		sentencia.chequeoSentencias();
	}

}
